docs: Don't use GtkEventBox

diff --git a/docs/tools/widgets.c b/docs/tools/widgets.c
index 200a1c3625865a778c18a98d9b609aebcfde0194..ba062e71a7afe2fad45f88f2225b388e9b87bc57 100644 (file)
--- a/docs/tools/widgets.c
+++ b/docs/tools/widgets.c
@@ -926,8 +926,12 @@ create_notebook (void)
   gtk_notebook_append_page (GTK_NOTEBOOK (widget), 
                            gtk_label_new ("Notebook"),
                            NULL);
-  gtk_notebook_append_page (GTK_NOTEBOOK (widget), gtk_event_box_new (), NULL);
-  gtk_notebook_append_page (GTK_NOTEBOOK (widget), gtk_event_box_new (), NULL);
+  gtk_notebook_append_page (GTK_NOTEBOOK (widget),
+                           gtk_label_new ("Notebook"),
+                           NULL);
+  gtk_notebook_append_page (GTK_NOTEBOOK (widget),
+                           gtk_label_new ("Notebook"),
+                           NULL);
 
   return new_widget_info ("notebook", widget, MEDIUM);
 }